Issue2089.agda:9,21-30
No module M.Private in scope
when scope checking the declaration
  module ShouldFail = M.Private
